Nuprl Lemma : null_wf2
11,40
postcript
pdf
null([])
latex
Definitions
null(
as
)
,
t
T
Lemmas
btrue
wf
origin
T